# Mathematical Logic Optimization

OpenThaiGPT R1 32b is a 32-billion-parameter Thai reasoning model that excels in Thai mathematical, logical, and code reasoning tasks, outperforming larger-scale models.

This is a Qwen2.5 MOE (Mixture of Experts) model, composed of two Qwen 2.5 DeepSeek (censored/regular and uncensored) 1.5B models, forming a 4B model where the uncensored version of DeepSeek Qwen 2.5 1.5B dominates the model's behavior.

Phi-3-Mini-4K-Instruct is a lightweight, cutting-edge open-source model with 3.8 billion parameters, focusing on high quality and inference-intensive features, suitable for commercial and research use in English.

UNA-cybertron-7b-v3 is a 7B parameter large language model developed by the OMA team, trained using UNA (Unified Neural Alignment) technology, excelling in mathematics, logic, and reasoning.